infinite value logic

无限多值逻辑